Invariants for Bloom's Register
نویسنده
چکیده
Bloom's construction of a two-writer atomic register from two one-writer atomic registers is speciied and veriied by means of ghost variables and invariants. Preservation of the invariants is proved with a mechanical theorem prover.
منابع مشابه
New Algorithm For Computing Secondary Invariants of Invariant Rings of Monomial Groups
In this paper, a new algorithm for computing secondary invariants of invariant rings of monomial groups is presented. The main idea is to compute simultaneously a truncated SAGBI-G basis and the standard invariants of the ideal generated by the set of primary invariants. The advantage of the presented algorithm lies in the fact that it is well-suited to complexity analysis and very easy to i...
متن کاملOn the Representation of Bloom's Revised Taxonomy in Interchange Coursebooks
This study intends to evaluate Interchange series (2005), which are still fundamental coursebooks in the EFL curriculum settings, in terms of learning objectives in Bloom’s Revised Taxonomy (2001) to see which levels of Bloom's Revised Taxonomy were more emphasized in these coursebooks. For this purpose, the contents of Interchange textbooks were codified based on a coding scheme designed by th...
متن کاملSplice Graphs and their Vertex-Degree-Based Invariants
Let G_1 and G_2 be simple connected graphs with disjoint vertex sets V(G_1) and V(G_2), respectively. For given vertices a_1in V(G_1) and a_2in V(G_2), a splice of G_1 and G_2 by vertices a_1 and a_2 is defined by identifying the vertices a_1 and a_2 in the union of G_1 and G_2. In this paper, we present exact formulas for computing some vertex-degree-based graph invariants of splice of graphs.
متن کاملA Comparative Study of TEFL and ET Official Standards in Terms of Bloom’s Revised Cognitive Taxonomy
Iran's National curriculum standards represent the guiding blueprints which provide direction for instruction and assessment nationwide. Iran's official university curriculum standards were designed by Iran's Ministry of Sciences, Research and Technologyto provide a frame of reference and guidance for the instructional materials used and decisions made by university instructors. Using a widely...
متن کاملInvariants for the Construction of a Handshake Register
Tromp's construction of a waitfree atomic register for one writing process and one reading process is presented, and proved by means of ghost variables and invariants. Preservation of the invariants is proved mechanically. This approach can be compared with the original proof based on the partial order on the set of accesses of shared variables. 1 Diachrony versus synchrony In the eld of distri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999